Introduction to the Theory of Computation

#	Item
11	Introduction to the Lambda Calculus Chris Lomont[removed]www.lomont.org Leibniz[removed]) Add to Reading List Source URL: www.lomont.org Language: English - Date: 2012-08-09 18:49:57 Computability theory Theory of computation Models of computation Lambda calculus Computability Turing machine Alan Turing Halting problem Combinatory logic Mathematics Theoretical computer science Mathematical logic
12	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-22 04:05:49 Logic in computer science Lambda calculus Models of computation Computability theory Combinatory logic Curry–Howard correspondence Model theory Structure Programming Computable Functions Theoretical computer science Mathematics Mathematical logic